Философский энциклопедический словарь - чёрч (church) алонзо
Связанные словари
Чёрч (church) алонзо
чёрч (church) алонзо
(род. 14 июня 1903, Вашингтон) амер. логик и математик. В математической логике развил гипотезы об отделении понятия функции от понятия множества, о вычислимых функциях (т. н. тезис Чёрча), много сделал для развития комбинаторной логики, логической семантики и модальной логики. В рус. пер. издано соч. Чёрча "Введение в математическую логику", т. 1, 1960.
Рейтинг статьи:
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1810 | |
2 | 1618 | |
3 | 1471 | |
4 | 1400 | |
5 | 1333 | |
6 | 1308 | |
7 | 1218 | |
8 | 1168 | |
9 | 1143 | |
10 | 1092 | |
11 | 1000 | |
12 | 986 | |
13 | 981 | |
14 | 949 | |
15 | 940 | |
16 | 921 | |
17 | 891 | |
18 | 830 | |
19 | 816 | |
20 | 797 |